Shapes of Alignments - Construction, Combination, and Computation

نویسندگان

  • Oliver Kutz
  • Till Mossakowski
  • Mihai Codescu
چکیده

We present a general approach for representing and combining alignments and computing these combinations, based on the category theoretic notions of diagram, pushout, and colimit. This generalises the possible ‘shapes’ of alignments that have been introduced previously in similar approaches. We use the theory of institutions to represent heterogeneous ontologies, and show how the tool Hets can be employed to compute the colimit ontology of an alignment diagram.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

MICA: Multiple Interval-based Curve Alignment

MICA enables the automatic synchronization of discrete data curves. To this end, characteristic points of the curves’ shapes are identified. These landmarks are used within a heuristic curve registration approach to align profile pairs by mapping similar characteristics onto each other. In combination with a progressive alignment scheme, this enables the computation of multiple curve alignments...

متن کامل

Computation of Lattice Maps Using Modular Bch and Similarity Composition Rules

A beam line map construction method for linear and circular high-energy colliders is described which avoids truncated power-series maps through systematic use of a two-term Baker-Campbell-Hausdorff (BCH) formula in combination with similarity transformations. The beam line map ultimately assumes the form of a product of a linear map and a single-exponential Lie-operator map. The method i) provi...

متن کامل

Automatic graph construction of periodic open tubulene ((5,6,7)3) and computation of its Wiener, PI, and Szeged indices

The mathematical properties of nano molecules are an interesting branch of nanoscience for researches nowadays. The periodic open single wall tubulene is one of the nano molecules which is built up from two caps and a distancing nanotube/neck. We discuss how to automatically construct the graph of this molecule and plot the graph by spring layout algorithm in graphviz and netwrokx packages. The...

متن کامل

A NEW APPROACH OF FUZZY NUMBERS WITH DIFFERENT SHAPES AND DEVIATION

In this paper, we propose a new method for fuzzy numbers. In this method, we assume that Ai= (ai1, ai2, ai3, ai4) is to be a fuzzy number. So, the convex combination of ai1 and ai2 and also the convex combination of ai3 and ai4 are obtained separately. Then, Mic and Mis that are to be the convex combinations and the standard deviation respectively we acquire them from these components. Finally,...

متن کامل

Intrinsic alignments of BOSS LOWZ galaxies – II. Impact of shape measurement methods

Measurements of intrinsic alignments of galaxy shapes with the large-scale density field, and the inferred intrinsic alignments model parameters, are sensitive to the shape measurement methods used. In this paper we measure the intrinsic alignments of the Sloan Digital Sky Survey-III (SDSS-III) Baryon Oscillation Spectroscopic Survey (BOSS) LOWZ galaxies using three different shape measurement ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008